#include "plc2llvm/PLCSymbols/UsingNamespace.h"

const std::vector<PLCNamespaceDeclSymbol *> &UsingNamespace::getUsedNamespaces() const {
    return usedNamespaces;
}

void UsingNamespace::addUsedNamespace(PLCNamespaceDeclSymbol *usedNamespace) {
    this->usedNamespaces.push_back(usedNamespace);
}